Robert Feys
Robert Feys (1889 – 1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium).
In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic I).
Bibliography
- Combinatory logic
- Haskell B. Curry Robert Feys. With two sections by William Craig
- Publisher: Amsterdam, North-Holland Pub. Co., 1958-72.
- ISBN 0-7204-2208-6
- Dictionary of symbols of mathematical logic
- ed. by Robert Feys and Frederic B. Fitch
- Publisher: Amsterdam : North-Holland Pub. Co., 1973, c1969.
- ISBN 0-7204-2250-7
External links
Persondata |
Name |
Feys |
Alternative names |
|
Short description |
|
Date of birth |
1889 |
Place of birth |
|
Date of death |
1961 |
Place of death |
|